Merge pull request #1114 from vchong/updt_docs
authordavidcunado-arm <david.cunado@arm.com>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
commit6eb4d72d56e77433fee26a313a32e5d679fd52ed
treed7dfb5773460e9835d99672fdc0e3b8cf5546c82
parent3b6ceeff25e84505568ad0355eb03dede2f5ee6a
parent37c21657ed290a694d3fcb4de2809c33f2b9cf5d
Merge pull request #1114 from vchong/updt_docs

hikey*: Update docs